The Automation of ScienceKING, Ross D; ROWLAND, Jem; SPARKES, Andrew et al.Science (Washington, D.C.). 2009, Vol 324, Num 5923, pp 85-89, issn 0036-8075, 5 p.Article

Le jeu des pousses = Sprouts gameDELAHAYE, Jean-Paul.Pour la science. 2008, Num 371, pp 90-95, issn 0153-4092, 6 p.Article

Dialectic proof procedures for assumption-based, admissible argumentationDUNG, P. M; KOWALSKI, R. A; TONI, F et al.Artificial intelligence. 2006, Vol 170, Num 2, pp 114-159, issn 0004-3702, 46 p.Article

Loop formulas for circumscriptionLEE, Joohyung; FANGZHEN LIN.Artificial intelligence. 2006, Vol 170, Num 2, pp 160-185, issn 0004-3702, 26 p.Article

Intelligent energy management agent for a parallel hybrid vehicle-Part II: Torque distribution, charge sustenance strategies, and performance resultsWON, Jong-Seob; LANGARI, Reza.IEEE transactions on vehicular technology. 2005, Vol 54, Num 3, pp 935-953, issn 0018-9545, 19 p.Article

The tech buzz gameMANGOLD, Bernard; DOOLEY, Mike; FLAKE, Gary W et al.Computer (Long Beach, CA). 2005, Vol 38, Num 7, pp 94-97, issn 0018-9162, 4 p.Article

A game-theoretic and dynamical-systems analysis of selection methods in coevolutionFICICI, Sevan G; MELNIK, Ofer; POLLACK, Jordan B et al.IEEE transactions on evolutionary computation. 2005, Vol 9, Num 6, pp 580-602, issn 1089-778X, 23 p.Article

Evolution of iterated prisoner's dilemma game strategies in structured demes under random pairing in game playingISHIBUCHI, Hisao; NAMIKAWA, Naoki.IEEE transactions on evolutionary computation. 2005, Vol 9, Num 6, pp 552-561, issn 1089-778X, 10 p.Article

On two types of discrete implicationsMAS, M; MONSERRAT, M; TORRENS, J et al.International journal of approximate reasoning. 2005, Vol 40, Num 3, pp 262-279, issn 0888-613X, 18 p.Article

Particle swarm optimization approaches to coevolve strategies for the iterated prisoner's dilemmaFRANKEN, Nelis; ENGELBRECHT, Andries P.IEEE transactions on evolutionary computation. 2005, Vol 9, Num 6, pp 562-579, issn 1089-778X, 18 p.Article

Playing to learn : Case-injected genetic algorithms for learning to play computer gamesLOUIS, Sushil J; MILES, Chris.IEEE transactions on evolutionary computation. 2005, Vol 9, Num 6, pp 669-681, issn 1089-778X, 13 p.Article

Open constraint programmingFALTINGS, Boi; MACHO-GONZALEZ, Santiago.Artificial intelligence. 2005, Vol 161, Num 1-2, pp 181-208, issn 0004-3702, 28 p.Article

Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solvingWALLACE, Richard J; FREUDER, Eugene C.Artificial intelligence. 2005, Vol 161, Num 1-2, pp 209-227, issn 0004-3702, 19 p.Article

Partition-based logical reasoning for first-order and propositional theoriesAMIR, Eyal; MEILRAITH, Sheila.Artificial intelligence. 2005, Vol 162, Num 1-2, pp 49-88, issn 0004-3702, 40 p.Article

Breaking all value symmetries in surjection problemsPUGET, Jean-Francois.Lecture notes in computer science. 2005, pp 490-504, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

Acquiring parameters of implied global constraintsBESSIERE, Christian; COLETTA, Rémi; PETIT, Thierry et al.Lecture notes in computer science. 2005, pp 747-751, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Integrating benders decomposition within constraint programmingCAMBAZARD, Hadrien; JUSSIEN, Narendra.Lecture notes in computer science. 2005, pp 752-756, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Computing and exploiting tree-decompositions for solving constraint networksJEGOU, Philippe; NDOJH NDIAYE, Samba; TERRIOUX, Cyril et al.Lecture notes in computer science. 2005, pp 777-781, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Mind the gaps : A new splitting strategy for consistency techniquesBATNINI, Heikel; MICHEL, Claude; RUEHER, Michel et al.Lecture notes in computer science. 2005, pp 77-91, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

Neighbourhood clause weight redistribution in local search for SATISHTAIWI, Abdelraouf; THORNTON, John; SATTAR, Abdul et al.Lecture notes in computer science. 2005, pp 772-776, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

On solving soft temporal constraints using SAT techniquesSHEINI, Hossein M; PEINTNER, Bart; SAKALLAH, Karem A et al.Lecture notes in computer science. 2005, pp 607-621, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

An extended behavior network for a game agent : An investigation of action selection quality and agent performance in unreal tournamentDA SILVA CORREA PINTO, Hugo; OTAVIO ALVARES, Luis.Lecture notes in computer science. 2005, pp 287-296, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 10 p.Conference Paper

Symbolic data structure for postal address representation and address validation through symbolic knowledge baseNAGABHUSHAN, P; ANGADI, S. A; ANAMI, B. S et al.Lecture notes in computer science. 2005, pp 388-394, issn 0302-9743, isbn 3-540-30506-8, 1Vol, 7 p.Conference Paper

Towards formalising agent argumentation over the viability of human organs for transplantationMODGIL, Sanjay; TOLCHINSKY, Pancho; CORTES, Ulises et al.Lecture notes in computer science. 2005, pp 928-938, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 11 p.Conference Paper

A Kickball Game for ankle rehabilitation by JAVA, JNI and VRMLHYUNGJEEN CHOI; JEHA RYU; CHANSU LEE et al.SPIE proceedings series. 2004, pp 439-444, isbn 0-8194-5367-6, 6 p.Conference Paper